Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective

نویسندگان

  • Manuel Mazzara
  • Faisal Abouzaid
  • Nicola Dragoni
  • Anirban Bhattacharyya
چکیده

This paper describes a case study involving the dynamic reconfiguration of an office workflow. We state the requirements on a system implementing the workflow and its reconfiguration, and describe the system’s design in BPMN. We then use an asynchronous π-calculus and Webπ∞ to model the design and to verify whether or not it will meet the requirements. In the process, we evaluate the formalisms for their suitability for the modelling and analysis of dynamic reconfiguration of dependable systems. The ultimate aim of this research is to identify strengths and weaknesses of formalisms for modelling dynamic reconfiguration and verifying requirements.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling of the Outpatient Prescribing Process in Iran: A Gateway toward Electronic Prescribing System

Implementation of electronic prescribing system can overcome many problems of the paper prescribing system, and provide numerous opportunities of more effective and advantageous prescribing. Successful implementation of such a system requires complete and deep understanding of work content, human force, and workflow of paper prescribing. The current study was designed in order to model the curr...

متن کامل

Modeling of the Outpatient Prescribing Process in Iran: A Gateway toward Electronic Prescribing System

Implementation of electronic prescribing system can overcome many problems of the paper prescribing system, and provide numerous opportunities of more effective and advantageous prescribing. Successful implementation of such a system requires complete and deep understanding of work content, human force, and workflow of paper prescribing. The current study was designed in order to model the curr...

متن کامل

Steady-State and Dynamic Simulations of Gas Absorption Column Using MATLAB and SIMULINK

Separation is one of the most important process in all the chemical industries and the gas absorption is the simplest example of separation process which is generally used for the absorption of dilute components from a gaseous mixture. In the present work, a dynamic system of mathematical equation (algebraic and differential) is modeled to predict the behavior of the absorption column using mat...

متن کامل

On design, verification, and dynamic modification of the problem-based scientific workflow model

A science process is a process to solve complex scientific problems which usually have no mature solving methods. Science processes if modeled in workflow forms, i.e. scientific workflows, can be managed more effectively and performed more automatically. However, most current workflow models seldom take account of specific characteristics of science processes and are not very suitable for model...

متن کامل

Design, Modelling and Analysis of a Workflow Reconfiguration

This paper describes a case study involving the reconfiguration of an office workflow. We state the requirements on a system implementing the workflow and its reconfiguration, and describe the system’s design in BPMN. We then use an asynchronous π-calculus and Webπ∞ to model the design and to verify whether or not it will meet the requirements. In the process, we evaluate the formalisms for the...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011